<meta http-equiv="refresh" content="0; url=Minibuffer-Misc.html#Definition%20of%20minibuffer%2dhelp%2dform">
